home *** CD-ROM | disk | FTP | other *** search
/ PC go! 2013 December / PCGO_13-12_CD.iso / nw.pak / Unnamed File 000689.unknown < prev    next >
Encoding:
Text File  |  2012-12-14  |  4.0 KB  |  182 lines
  1. .text-editor {
  2.     position: absolute;
  3.     top:0;
  4.     left:0;
  5.     right:0;
  6.     bottom:0;
  7.     white-space: pre;
  8.     overflow: auto;
  9. }
  10.  
  11. .text-editor-lines {
  12.     position: absolute;
  13.     top: 0;
  14.     left: 0;
  15.     bottom: 0;
  16.     overflow: hidden;
  17.     -webkit-user-select: none;
  18.     background-color: rgb(240, 240, 240);
  19.     border-right: 1px solid rgb(187, 187, 187);
  20.     min-width: 19px;
  21. }
  22.  
  23. .text-editor-contents {
  24.     position: absolute;
  25.     top: 0;
  26.     left: 0;
  27.     right: 0;
  28.     bottom: 0;
  29.     overflow: auto;
  30.     -webkit-user-select: text;
  31. }
  32.  
  33. .text-editor-contents .inner-container {
  34.     position: absolute;
  35.     top: 0;
  36.     left: 0;
  37.     right: auto;
  38.     bottom: auto;
  39.     min-width: 100%;
  40. }
  41.  
  42. .text-editor-editable {
  43.     -webkit-user-modify: read-write-plaintext-only;
  44. }
  45.  
  46. .text-editor-read-only {
  47.     -webkit-user-modify: read-only;
  48.     background-color: rgb(240, 240, 240);
  49. }
  50.  
  51. .webkit-line-decorations {
  52.     pointer-events: none;
  53.     -webkit-user-select: none;
  54.     -webkit-user-modify: read-only;
  55. }
  56.  
  57. .webkit-html-message-bubble {
  58.     -webkit-box-shadow: black 0px 2px 5px;
  59.     -webkit-border-radius: 9px;
  60.     -webkit-border-fit: lines;
  61.     font-size: 10px;
  62.     font-family: Lucida Grande, sans-serif;
  63.     font-weight: bold;
  64.     margin: 6px 25px;
  65.     padding: 0 7px 1px;
  66.     z-index:20;
  67. }
  68.  
  69. .webkit-html-warning-message {
  70.     background-color: rgb(100%, 62%, 42%);
  71.     border: 2px solid rgb(100%, 52%, 21%);
  72. }
  73.  
  74. .webkit-html-error-message {
  75.     background-color: rgb(100%, 42%, 42%);
  76.     border: 2px solid rgb(100%, 31%, 31%);
  77. }
  78.  
  79. .webkit-html-message-line {
  80.     padding-left: 23px;
  81.     text-indent: -20px;
  82. }
  83.  
  84. .webkit-html-message-line-hover {
  85.     padding-left: 23px;
  86.     text-indent: -20px;
  87.     white-space: auto;
  88.     text-overflow: auto;
  89.     overflow: auto;
  90. }
  91.  
  92. .webkit-html-message-icon {
  93.     position: relative;
  94.     top: 2px;
  95.     margin: 0 4px;
  96. }
  97.  
  98. .webkit-line-number {
  99.     color: rgb(128, 128, 128);
  100.     text-align: right;
  101.     vertical-align: top;
  102.     word-break: normal;
  103.     padding-right: 4px;
  104.     padding-left: 6px;
  105. }
  106.  
  107. .webkit-line-number-outer {
  108.     margin-right: -4px;
  109.     margin-left: -4px;
  110.     border-color: transparent;
  111.     border-style: solid;
  112.     border-width: 0 0 0px 2px;
  113.     vertical-align: top;
  114. }
  115.  
  116. .webkit-line-number-inner {
  117.     margin-right: 4px;
  118. }
  119.  
  120. .webkit-breakpoint .webkit-line-number-inner, .webkit-breakpoint-conditional .webkit-line-number-inner, .webkit-execution-line .webkit-line-number-inner {
  121.     margin-right: -10px;
  122. }
  123.  
  124. .webkit-breakpoint .webkit-line-number-outer {
  125.     color: white;
  126.     border-width: 0 14px 0px 2px;
  127.     -webkit-border-image: url(Images/breakpointBorder.png) 0 14 0 2;
  128. }
  129.  
  130. .webkit-breakpoint-conditional .webkit-line-number-outer {
  131.     color: white;
  132.     border-width: 0 14px 0px 2px;
  133.     -webkit-border-image: url(Images/breakpointConditionalBorder.png) 0 14 0 2;
  134. }
  135.  
  136. .webkit-execution-line .webkit-line-number-outer {
  137.     color: transparent;
  138.     border-width: 0 14px 0px 2px;
  139.     -webkit-border-image: url(Images/programCounterBorder.png) 0 14 0 2;
  140. }
  141.  
  142. .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
  143.     color: white;
  144.     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
  145. }
  146.  
  147. .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
  148.     color: transparent;
  149.     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
  150. }
  151.  
  152. .webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number-outer {
  153.     color: transparent;
  154.     -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 14 0 2;
  155. }
  156.  
  157. .webkit-breakpoint-disabled .webkit-line-number-outer {
  158.     opacity: 0.5;
  159. }
  160.  
  161. .breakpoints-deactivated .webkit-breakpoint .webkit-line-number-outer {
  162.     opacity: 0.5;
  163. }
  164.  
  165. .breakpoints-deactivated .webkit-breakpoint-disabled .webkit-line-number-outer {
  166.     opacity: 0.3;
  167. }
  168.  
  169. .webkit-execution-line.webkit-line-content {
  170.     background-color: rgb(171, 191, 254);
  171.     outline: 1px solid rgb(64, 115, 244);
  172. }
  173.  
  174. .webkit-highlighted-line.webkit-line-content {
  175.     -webkit-animation: "fadeout" 2s 0s;
  176. }
  177.  
  178. @-webkit-keyframes fadeout {
  179.     from {background-color: rgb(255, 255, 120); }
  180.     to { background-color: white; }
  181. }
  182.